Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
291	Revenue Maximization in the Dynamic Knapsack Problem Deniz Dizdar, Alex Gershkov and Benny MoldovanuAbstract Add to Reading List Source URL: pluto.huji.ac.il Language: English - Date: 2014-02-02 05:15:06 Operations research Dynamic programming Mathematical optimization Combinatorial optimization Bellman equation Control theory Knapsack problem Mechanism design
292	Actions Universitaires Int´egr´ees Luso-Fran¸caises Research project: Application of Conservation Laws to Space Trajectography D. F. M. Torres () University of Aveiro, Portugal Add to Reading List Source URL: ceoc.mat.ua.pt Language: English - Date: 2008-07-17 10:24:25 Mathematical optimization Operations research Equations Control theory Optimal control Bellman equation Dynamic programming Emmy Noether
293	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-09-09 14:15:56 Complexity classes Finite model theory Computational complexity theory Descriptive complexity FO Constraint programming Constraint satisfaction problem P Model theory Mathematical logic Constraint satisfaction HO
294	Microsoft Word - NEW17.docx Add to Reading List Source URL: agecon2.tamu.edu Language: English - Date: 2013-08-28 16:06:46 Operations research Mathematical optimization Convex optimization Linear programming Reduced cost Numerical software Draft:Extended mathematical programming PROPT
295	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2015-03-17 08:21:04 Type theory Functional languages FAUST Eval Dependent type Coq NyquistShannon sampling theorem Mathematical proof FeitThompson theorem Functional programming
296	n CONFERENCE PROGRAM June 26 – 30, 2004 Red Lion Hotel on Fifth Avenue Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 16:08:09 Evolutionary computation Evolutionary algorithms Mathematical optimization Cybernetics Evolution Genetic and Evolutionary Computation Conference Riccardo Poli Genetic algorithm Interactive evolutionary computation Genetic programming Grammatical evolution Kalyanmoy Deb
297	BU CAS CS 320 (Summer I, Concepts of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter inductiv Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2016-05-19 17:18:34 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
298	1 On Stochastic Feedback Control for Multi-antenna Beamforming: Formulation and Low-Complexity Algorithms Sun Sun, Min Dong, and Ben Liang Add to Reading List Source URL: www.comm.utoronto.ca Language: English - Date: 2014-05-05 14:44:36 Markov processes Markov models Mathematical optimization Stochastic control Dynamic programming Markov decision process Beamforming Reinforcement learning Optimal control Markov chain Q-learning Control theory
299	September 14, :56 WSPC - Proceedings Trim Size: 9.75in x 6.5in Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2009-12-21 01:59:54 Mathematical optimization Operations research Machine learning Statistical classification Support vector machine Positive-definite kernel Hyperparameter optimization Kernel method Constructible universe Dynamic programming Distribution
300	Towards a deterministic algorithm for the International Timetabling Competition Oscar Ch´ avez Bosquez1 , Pilar Pozos Parra1 , and Florian Lengyel2 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-25 10:54:16 Mathematical optimization Operations research Constraint programming Constrained optimization Algorithm Optimization problem Constraint

UPDATE